struct A{
  int a;
  bool b;
  struct A *c;
};
/*@*/
int main(){
  struct A a;
  
  a.a = 99;
  if (a.b)
    {a.c = null;}
  else {}
  
  return a.a;
}
/*@*/
